step(is,bs,tm(s,[ctxm(xi_,idp2,ip,ip_is,ip_is),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(lst,[ctxm(xi_,u,i_sess,ss(xi_,i_sess),ss(xi_,i_sess)),ctxm(xi_,u,d_6,id_6,cd_6)]),pri(sig,[pri(lst,[ctxm(xi_,u,i_sess,ss(xi_,i_sess),ss(xi_,i_sess)),ctxm(xi_,u,d_6,id_6,cd_6)]),ctxm(xi_,idp2,kM,kM_is,kM_is)])]))).
